This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs (...) of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. (shrink)

Church’s type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. It also plays an important role in the study of the formal semantics of natural language. When utilizing (...) it as a meta-logic to semantically embed expressive non-classical logics further topical applications are enabled in artificial intelligence and philosophy. A great wealth of technical knowledge can be expressed very naturally in it. With possible enhancements, Church’s type theory constitutes an excellent formal language for representing the knowledge in automated information systems, sophisticated automated reasoning systems, systems for verifying the correctness of mathematical proofs, and a range of projects involving logic and artificial intelligence. Some examples and further references are given in Sections 1.2.2 and 5 below. Type theories are also called higher-order logics, since they allow quantification not only over individual variables, but also over function, predicate, and even higher order variables. Type theories characteristically assign types to entities, distinguishing, for example, between numbers, sets of numbers, functions from numbers to sets of numbers, and sets of such functions. As illustrated in Section 1.2.2 below, these distinctions allow one to discuss the conceptually rich world of sets and functions without encountering the paradoxes of naive set theory. Church’s type theory is a formulation of type theory that was introduced by Alonzo Church in Church 1940. In certain respects, it is simpler and more general than the type theory introduced by Bertrand Russell in Russell 1908 and Whitehead & Russell 1927a. Since properties and relations can be regarded as functions from entities to truth values, the concept of a function is taken as primitive in Church’s type theory, and the λ-notation which Church introduced in Church 1932 and Church 1941 is incorporated into the formal language. Moreover, quantifiers and description operators are introduced in a way so that additional binding mechanisms can be avoided, λ-notation is reused instead. λ-notation is thus the only binding mechanism employed in Church’s type theory. (shrink)

This is a collective writing project that is part of the larger design of Infantologies, Infanticides and Infantilizations; a quartet that explores the philosophy of infants from thematic perspectives, that puts infants at the centre of our reflections, and that encourages a different academic style of thinking.

First responders to chemical, biological, radiological, or nuclear (CBRN) events face decisions having significant human consequences. Some operational decisions are supported by standard operating procedures, yet these may not suffice for ethical decisions. Responders will be forced to weigh their options, factoring-in contextual peculiarities; they will require guidance on how they can approach novel (indeed unique) ethical problems: they need strategies for “on the spot” ethical decision making. The primary aim of this paper is to examine how first responders should (...) approach on the spot ethical decision-making amid the stress and uncertainty of a CBRN event. Drawing on the long-term professional CBRN experience of one of the authors, this paper sets out a series of practical ethical dilemmas potentially arising in the context of a large-scale chemical incident. We propose a broadly consequentialist approach to on the spot ethical decision-making, but one which incorporates ethical values and rights as “side-constraints”. (shrink)

The animalist says we are animals. This thesis is commonly understood as the universal generalization that all human persons are human animals. This article proposes an alternative: the thesis is a generic that admits of exceptions. We defend the resulting view, which we call ‘generic animalism’, and show its aptitude for diagnosing the limits of eight case-based objections to animalism.

This paper addresses the problem of ‘premature consent’. The term ‘premature consent’ denotes patient decisions that are: formulated prior to discussion with the appropriate healthcare professional ; based on information from unreliable sources ; and resolutely maintained despite the HCP having provided alternative reliable information. HCPs are not obliged to respect premature consent patients’ demands for unindicated treatments. But why? What is it that premature consent patients do or get wrong? Davis has argued that premature consent patients are incompetent and (...) misinformed. We argue that this view is not sustainable. A more plausible position asserts that premature consent threatens the integrity of the medical profession. We argue that this gives rise to a negative patient duty which premature consent patients fail to honour. We argue for a further positive duty of good faith engagement in shared decision-making. This implies willingness to potentially revise or justify one’s evaluative bases. Fundamentally, the problem with premature consent patients is that certain of their evaluative bases are not open to revision. They therefore fail in their duty to participate faithfully in the shared decision-making process. (shrink)

Biometric identification is thought to be less vulnerable to fraud and forgery than are traditional forms of identification. However biometric identification is not without vulnerabilities. In a ‘spoofing attack’ an artificial replica of an individual’s biometric trait is used to induce a system to falsely infer that individual’s presence. Techniques such as liveness-detection and multi-modality, as well as the development of new and emerging modalities, are intended to secure biometric identification systems against such threats. Unlike biometrics in general, the societal (...) and ethical issues raised by spoofing and anti-spoofing techniques have not received much attention. This paper examines these issues. (shrink)

How did our minds evolve? Can evolutionary considerations illuminate the question of the basic architecture of the human mind? These are two of the main questions addressed in Evolution and the Human Mind by a distinguished interdisciplinary team of philosophers, psychologists, anthropologists and archaeologists. The essays focus especially on issues to do with modularity of mind, the evolution and significance of natural language, and the evolution of our capacity for meta-cognition, together with its implications for consciousness. The editors have provided (...) an introduction that lays out the background to the questions which the essays address, and a consolidated bibliography that will be a valuable reference resource for all those interested in this area. The volume will be of great interest to all researchers and students interested in the evolution and nature of the mind. (shrink)

Here is a question as intriguing as it is brief: what are we? The animalist’s answer is equal in brevity: we are animals. This stark formulation of the animalist slogan distances it from nearby claims—that we are essentially animals, for example, or that we have purely biological criteria of identity over time. Is the animalist slogan—unburdened by modal or criterial commitments—still interesting, though? Or has it lost its bite? In this article we address such questions by presenting a positive case (...) for the importance of animalism and applying that case to recent critiques. (shrink)

An action-oriented perspective changes the role of an individual from a passive observer to an actively engaged agent interacting in a closed loop with the world as well as with others. Cognition exists to serve action within a landscape that contains both. This chapter surveys this landscape and addresses the status of the pragmatic turn. Its potential influence on science and the study of cognition are considered (including perception, social cognition, social interaction, sensorimotor entrainment, and language acquisition) and its impact (...) on how neuroscience is studied is also investigated (with the notion that brains do not passively build models, but instead support the guidance of action). A review of its implications in robotics and engineering includes a discussion of the application of enactive control principles to couple action and perception in robotics as well as the conceptualization of system design in a more holistic, less modular manner. Practical applications that can impact the human condition are reviewed (e.g., educational applications, treatment possibilities for developmental and psychopathological disorders, the development of neural prostheses). All of this foreshadows the potential societal implications of the pragmatic turn. The chapter concludes that an action-oriented approach emphasizes a continuum of interaction between technical aspects of cognitive systems and robotics, biology, psychology, the social sciences, and the humanities, where the individual is part of a grounded cultural system. (shrink)

Michael Peters, Sonja Arndt & Marek TesarThis is a collective writing experiment of PESA members, including its Executive Committee, asking questions of the Philosophy of Education in a New Key. Co...

This article is concerned with developing a philosophical approach to a number of significant changes to academic publishing, and specifically the global journal knowledge system wrought by a range of new digital technologies that herald the third age of the journal as an electronic, interactive and mixed-media form of scientific communication. The paper emerges from an Editors' Collective, a small New Zealand-based organisation comprised of editors and reviewers of academic journals mostly in the fields of education and philosophy. The paper (...) is the result of a collective writing process. (shrink)

The present study assessed the degree to which probabilistic reasoning performance and thinking style influenced perception of risk and self-reported levels of terrorism-related behaviour change. A sample of 263 respondents, recruited via convenience sampling, completed a series of measures comprising probabilistic reasoning tasks (perception of randomness, base rate, probability, and conjunction fallacy), the Reality Testing subscale of the Inventory of Personality Organization (IPO-RT), the Domain-Specific Risk-Taking Scale, and a terrorism-related behaviour change scale. Structural equation modelling examined three progressive models. Firstly, (...) the Independence Model assumed that probabilistic reasoning, perception of risk and reality testing independently predicted terrorism-related behaviour change. Secondly, the Mediation Model supposed that probabilistic reasoning and reality testing correlated, and indirectly predicted terrorism-related behaviour change through perception of risk. Lastly, the Dual-Influence Model proposed that probabilistic reasoning indirectly predicted terrorism-related behaviour change via perception of risk, independent of reality testing. Results indicated that performance on probabilistic reasoning tasks most strongly predicted perception of risk, and preference for an intuitive thinking style (measured by the IPO-RT) best explained terrorism-related behaviour change. The combination of perception of risk with probabilistic reasoning ability in the Dual-Influence Model enhanced the predictive power of the analytical-rational route, with conjunction fallacy having a significant indirect effect on terrorism-related behaviour change via perception of risk. The Dual-Influence Model possessed superior fit and reported similar predictive relations between intuitive-experiential and analytical-rational routes and terrorism-related behaviour change. The discussion critically examines these findings in relation to dual-processing frameworks. This includes considering the limitations of current operationalisations and recommendations for future research that align outcomes and subsequent work more closely to specific dual-process models. (shrink)

We suggest that in the particular context of medical education, ethics can be considered in a similar way to other kinds of knowledge that are categorised and shaped by academics in the context of wider society. Moreover, the study of medical ethics education is translational in a manner loosely analogous to the study of medical education as adjunct to translational medicine. Some have suggested there is merit in the idea that much as translational research attempts to connect the laboratory scientist's (...) work to its implications for patient care, translational ethics focuses on bringing ethics scholarship into the sphere of personal and public action. We distinguish the term ‘translational ethics’ (the study of ethics being translated between academy, classroom and clinic) from other prominent definitions in the bioethics literature. To do this, we build off a notion of knowledge translation that focuses on the nonlinear movement of information that comes to professionals through multiple competing sources. We suggest that this knowledge, and particularly knowledge about ethics, becomes embodied by the individual. It is through a reflective practice that internally embedded ethics knowledge might be modified, and this work might be best carried out with a moral community that maintains a sense of practical wisdom. Applying this translational approach to the study of medical ethics education can be both academically relevant and practically useful. This view of translation can help bridge the evident, multidirectional relationships between research, education and performance. It might also create further opportunities to develop medical ethics education theory. (shrink)

Most academics agree that emotions and moods are related but distinct phenomena. The present study assessed emotion-mood distinctions among a non-academic population and compared these views with distinctions proposed in the literature. Content analysis of responses from 106 participants identified 16 themes, with cause (65% of respondents), duration (40%), control (25%), experience (15%), and consequences (14%) the most frequently cited distinctions. Among 65 contributions to the academic literature, eight themes were proposed, with duration (62% of authors), intentionality (41%), cause (31percnt;), (...) consequences (31%), and function (18%) the most frequently cited. When the eight themes cited by both academics and non-academics were rank ordered, approximately 60% overlap in opinion was evident. A data-derived summary of emotion-mood distinctions is provided. These data should prove useful to investigators interested in developing a clearer scientific distinction between emotion and mood than is currently available. (shrink)

This collection of texts on the Sublime provides the historical context for the foundation and discussion of one of the most important aesthetic debates of the Enlightenment. The significance of the Sublime in the eighteenth century ranged across a number of fields - literary criticism, empirical psychology, political economy, connoisseurship, landscape design and aesthetics, painting and the fine arts, and moral philosophy - and has continued to animate aesthetic and theoretical debates to this day. However, the unavailability of many of (...) the crucial texts of the founding tradition has resulted in a conception of the Sublime often limited to the definitions of its most famous theorist Edmund Burke. Andrew Ashfield and Peter de Bolla's anthology, which includes an introduction and notes to each entry, offers students and scholars ready access to a much deeper and more complex tradition of writings on the Sublime, many of them never before printed in modern editions. (shrink)

The philosophers of Late Antiquity have sometimes appeared to be estranged from society. 'We must flee everything physical' is one of the most prominent ideas taken by Augustine from Platonic literature. This collection of new studies by leading writers on Late Antiquity treats both the principles of metaphysics and the practical engagement of philosophers. It points to a more substantive and complex involvement in worldly affairs than conventional handbooks admit.

Because biologists are concerned with life in all its forms, and physicians deal with life and death on a daily basis, it is crucial that they explicitly understand what life is. Nevertheless, a clear idea of what life means remains elusive, and there is no universally accepted definition. Therefore, we offer our own: Life is a self-contained, self-regulating, self-organizing, self-reproducing, interconnected, open thermodynamic network of component parts which performs work, existing in a complex regime which combines stability and adaptability in (...) the phase transition between order and chaos, as a plant, animal, fungus, or microbe. This definition describes life as we know it here on earth and .. (shrink)

This collection explores, in Adorno's description, `philosophy directed against philosophy'. The essays cover all aspects of Benjamin's writings, from his early work in the philosophy of art and language, through to the concept of history. The experience of time and the destruction of false continuity are identified as the key themes in Benjamin's understanding of history.

Understanding recreational experiences is a longstanding research tradition and key to effective management. Given the complexities of human experience, many approaches have been applied to study recreational experience. Two such approaches are the experiential approach (based in a positivistic paradigm) and emergent experience (based in an interpretive paradigm). While viewed as being complementary, researchers have not offered guidance for incorporating the approaches into a common model of recreational experience. This study utilized longitudinal, qualitative data to examine aspects of recreational experience (...) posited by these two approaches. Results provided a framework for synthesizing across the two approaches. Respondents had clear pre-activity expectations, and most respondents realized their expected outcomes. This supports the experiential approach. Of the 48 activity narratives, 27 experienced something unexpected, and 45 described process-oriented, intrinsic motivation, suggesting evidence of emergent and unique characteristics specific to an individual’s realization of recreational experience. This supports the application of the emergent experience approach to understand how individuals create meaning from recreational engagements. The paper proposes a model for integrating results of the two approaches. While not advocating for any specific approach, the findings can serve as an example of building a holistic model of the outdoor recreation experience. The purpose of the model is to allow for a more complete understanding of how individuals create recreation experiences, more complete documentation of the benefits of outdoor recreation for both researchers and managers, and better synthesis across studies. (shrink)